canonical insertion